|
In mathematics, Siegel's theorem on integral points is the 1929 result of Carl Ludwig Siegel, that for a smooth algebraic curve ''C'' of genus ''g'' defined over a number field ''K'', presented in affine space in a given coordinate system, there are only finitely many points on ''C'' with coordinates in the ring of integers ''O'' of ''K'', provided ''g'' > 0. This result covers the Mordell curve, for example. This was proved by combining a version of the Thue–Siegel–Roth theorem, from diophantine approximation, with the Mordell–Weil theorem from diophantine geometry (required in Weil's version, to apply to the Jacobian variety of ''C''). It was the first major result on diophantine equations that depended only on the genus, not any special algebraic form of the equations. For ''g'' > 1 it was in the end superseded by Faltings' theorem. Siegel's result was ineffective (see effective results in number theory), since Thue's method in diophantine approximation also is ineffective in describing possible very good rational approximations to algebraic numbers. Effective results in some cases derive from Baker's method. ==References== * * 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Siegel's theorem on integral points」の詳細全文を読む スポンサード リンク
|